ТРЕНАЖЕР З ТЕМИ "ЛОГІКА ВИСЛОВЛЮВАНЬ" ДИСТАНЦІЙНОГО НАВЧАЛЬНОГО КУРСУ "МАТЕМАТИЧНА ЛОГІКА" ТА РОЗРОБКА ЙОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Запропоновано алгоритм і написаний по ньому тренажер на тему «Логіка висловлювань» дистанційного навчального курсу «Математична логіка». Syvokin O. Y., Chernenko O.O. The simulator on the topic "Logic of Expressions" of the distance learning course "Mathematical Logic" and the development of its educational support. The algorithm of the simulator of the topic "Logic of Expressions" of the distance learning course "Mathematical Logic" created. The program-trainer written for this algorithm